Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
131	A Method for Evaluating Ontologies Introducing the BFO-Rigidity Decision Tree Wizard A. Patrice Seyed 1 and Stuart C. Shapiro Department of Computer Science and Engineering Center for Cognitive Science University at Buff Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:17:16 Information science Knowledge representation Technical communication Semantic Web Ontology Information Philosophy Upper ontology OntoClean Class Model theory Web Ontology Language
132	-109 Journal of Sport Pedagogy and Research Controlled Autonomy and Autonomous Control: A Model of Coach-athlete Add to Reading List Source URL: capp.iscsp.ulisboa.pt Language: English - Date: 2016-06-17 06:15:38 Academia Business Industrial and organizational psychology Economy Leadership Autonomy Self Self-determination theory Team Sport psychology Motivation Shared leadership
133	On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-02-06 05:45:02 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Logic in computer science Philosophical logic Skolem normal form Herbrandization First-order logic Intuitionistic logic
134	INVESTIGAÇÃO PHD IN ECONOMICS Prudent expectations equilibrium in economies with uncertain delivery (Published in: Economic Theory, 2009, Vol. 99, pp. 67–92.) João Correia-da-Silva and Carlos Hervés-Beloso Add to Reading List Source URL: teste.fep.up.pt Language: English - Date: 2012-07-06 11:50:35 Economics Economy Fellows of the Econometric Society Mathematical finance New classical macroeconomics Game theory General equilibrium theory Rational expectations Grard Debreu ArrowDebreu model Macroeconomic model Agent
135	A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-07 14:48:20 Mathematics Theoretical computer science Abstract algebra FO Finite model theory Sheaf Boolean satisfiability problem Uniform space
136	Utilization-Focused Evaluation (U-FE) Checklist Michael Quinn Patton January 2013 Utilization-Focused Evaluation begins with the premise that evaluations should be judged by their utility and actual use; therefore, evalu Add to Reading List Source URL: www.wmich.edu Language: English - Date: 2014-10-29 14:19:19 Education Evaluation Academia Evaluation methods Educational psychology Impact assessment Michael Quinn Patton Logic model Theory of change Educational assessment Program evaluation Joint Committee on Standards for Educational Evaluation
137	Castagnetti_Rossi_Trapani_31_Jan_2014.dvi Add to Reading List Source URL: economia.unipv.it Language: English - Date: 2014-02-05 04:48:33 Estimation theory Statistics Statistical theory Statistical inference Regression analysis Ordinary least squares Consistent estimator Efficiency Fixed effects model Estimator
138	A Random Walk Framework to Compute Textual Semantic Similarity: a Unified Model for Three Benchmark Tasks Majid Yazdani Idiap Research Institute / EPFL Martigny / Lausanne, Switzerland Add to Reading List Source URL: majid.yazdani.me Language: English - Date: 2015-08-19 06:57:44 Information science Information retrieval Natural language processing Graph theory Markov models Computational linguistics Statistical distance Semantic similarity PageRank Random walk Latent semantic analysis Explicit semantic analysis
139	Characterizations of Pretameness Regula Krapf joint work with Peter Holy and Philipp Schlicht University of Bonn December 8, 2015 Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-12-08 06:01:31 Mathematics Mathematical logic Logic Z notation ZermeloFraenkel set theory Forcing Model theory Constructible universe
140	Distributed ADMM for Model Predictive Control and Congestion Control João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 Abstract— Many problems in control can be modeled as an optimi Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2012-09-06 05:05:42 Graph theory Augmented Lagrangian method Mathematics Flow network Networks Network theory Routing algorithms Combinatorial optimization

UPDATE